S. Dovier: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

Dovier, Agostino, Piazza, Carla, Rossi, Gianfranco

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

2

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - A Tabled Prolog Program for Solving Sokoban

Zhou, Neng-Fa, Dovier, Agostino

Year:

2011

Language:

english

File:

PDF, 116 KB

english, 2011

3

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti, Springer-Verlag, 2001. Hardback: ISBN 0-387-95197-0, $24.50/$69.95, xviii+409 pages.

Journal:

Theory and Practice of Logic Programming

Year:

2003

Language:

english

File:

PDF, 103 KB

english, 2003

4

{log}: A language for programming in logic with finite sets

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 2.45 MB

english, 1996

5

Chemical composition and net energy content of alpine pasture species during the grazing season

S. Bovolenta, M. Spanghero, S. Dovier, D. Orlandi, F. Clementel

Journal:

Animal Feed Science and Technology

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

6

Sets and constraint logic programming

Dovier, Agostino, Piazza, Carla, Pontelli, Enrico, Rossi, Gianfranco

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 633 KB

english, 2000

7

Constrained Community-Based Gene Regulatory Network Inference

Fioretto, Ferdinando, Dovier, Agostino, Pontelli, Enrico

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2015

Language:

english

File:

PDF, 789 KB

english, 2015

8

ASP Applications in Bio-informatics: A Short Tour

Dal Palù, Alessandro, Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

9

A necessary condition for Constructive Negation in Constraint Logic Programming

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

10

Operational and abstract semantics of the query language G-Log

Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 387 KB

english, 2002

11

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 613 KB

english, 2004

12

Refining and Compressing Abstract Model Checking

Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 234 KB

english, 2001

13

Rank-Based Symbolic Bisimulation: (and Model Checking)

A. Dovier, R. Gentilini, C. Piazza, A. Policriti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.18 MB

english, 2002

14

Using Secondary Structure Information for Protein Folding in CLP( FD )

Agostino Dovier, Matteo Burato, Federico Fogolari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

15

Preface: Volume 48

Agostino Dovier, Maria Chiara Meo, Andrea Omicini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 50 KB

english, 2001

16

Scoring predictive models using a reduced representation of proteins: model and energy definition

Federico Fogolari, Lidia Pieri, Agostino Dovier, Luca Bortolussi, Gilberto Giugliarelli, Alessandra Corazza, Gennaro Esposito, Paolo Viglino

Journal:

BMC Structural Biology

Year:

2007

Language:

english

File:

PDF, 1.25 MB

english, 2007

17

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli

Journal:

Software: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 833 KB

english, 2007

18

Constructive negation and constraint logic programming with sets

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 2.35 MB

english, 2001

19

Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case

Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1999

Language:

english

File:

PDF, 253 KB

english, 1999

20

Introduction to the Special Issue on Bioinformatics and Constraints

Alessandro Dal Palù, Agostino Dovier, Sebastian Will

Journal:

Year:

2008

Language:

english

File:

PDF, 139 KB

english, 2008

21

Applying model-checking to solve queries on semistructured data

A. Dovier, E. Quintarelli

Journal:

Computer Languages, Systems & Structures

Year:

2009

Language:

english

File:

PDF, 919 KB

english, 2009

22

Hair cortisol levels in dairy cows from winter housing to summer highland grazing

A. Comin, A. Prandi, T. Peric, M. Corazzin, S. Dovier, S. Bovolenta

Journal:

Livestock Science

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

23

Designing an urban-scale auditory alert system

Avanzini, F., Rocchesso, D., Belussi, A., Palu, A.D., Dovier, A.

Journal:

Year:

2004

Language:

english

File:

PDF, 605 KB

english, 2004

24

Constraint Logic Programming approach to protein structure prediction

Alessandro Dal Palù, Agostino Dovier, Federico Fogolari

Journal:

BMC Bioinformatics

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

25

Chemical composition and net energy content of alpine pasture species during the grazing season

S. Bovolenta, M. Spanghero, S. Dovier, D. Orlandi, F. Clementel

Journal:

Animal Feed Science and Technology

Year:

2008

Language:

english

File:

PDF, 245 KB

english, 2008

26

Effect of pork lard content on the chemical, microbiological and sensory properties of a typical fermented meat product (Pitina) obtained from Alpagota sheep

Stefano Bovolenta, Daria Boscolo, Simonetta Dovier, Micaela Morgante, Adolfo Pallotti, Edi Piasentier

Journal:

Year:

2008

Language:

english

File:

PDF, 248 KB

english, 2008

27

10.1016/S1571-0661(05)00160-X

DOVIER, A, MEO, M, OMICINI, A

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 862 KB

english, 2001

28

[IEEE 2007 IEEE International Conference on Bioinformatics and Biomedicine Workshops - San Jose, CA, USA (2007.11.2-2007.11.4)] 2007 IEEE International Conference on Bioinformatics and Biomedicine Workshops - Enhancing the computation of approximate solutions of the protein structure determination problem through global constraints for discrete crystal lattices

Dal Palu, Alessandro, Dovier, Agostino, Pontelli, Enrico

Year:

2007

Language:

english

File:

PDF, 1.17 MB

english, 2007

29

Semi-inclusive bottom-Higgs production at LHC: The complete one-loop electroweak effect in the MSSM

Beccaria, M., Dovier, G. O., Macorini, G., Mirabella, E., Panizzi, L., Renard, F. M., Verzegnassi, C.

Journal:

Physical Review D

Year:

2010

Language:

english

File:

PDF, 739 KB

english, 2010

30

[IEEE 2013 42nd International Conference on Parallel Processing (ICPP) - Lyon, France (2013.10.1-2013.10.4)] 2013 42nd International Conference on Parallel Processing - Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework

Campeotto, Federico, Dovier, Agostino, Pontelli, Enrico

Year:

2013

Language:

english

File:

PDF, 690 KB

english, 2013

31

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

32

A declarative concurrent system for protein structure prediction on GPU

Campeotto, Federico, Dovier, Agostino, Pontelli, Enrico

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 967 KB

english, 2015

33

Effect of summer grazing on welfare of dairy cows reared in mountain tie-stall barns

Corazzin, Mirco, Piasentier, Edi, Dovier, Simonetta, Bovolenta, Stefano

Journal:

Italian Journal of Animal Science

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

34

CUD@SAT: SAT solving on GPUs

Dal Palù, Alessandro, Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 705 KB

english, 2015

35

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Heuristics, optimizations, and parallelism for protein structure prediction in CLP( FD )

Dal Palù, Alessandro, Dovier, Agostino, Pontelli, Enrico

Year:

2005

Language:

english

File:

PDF, 374 KB

english, 2005

36

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - On modeling planning problems in tabled logic programming

Barták, Roman, Dovier, Agostino, Zhou, Neng-Fa

Year:

2015

Language:

english

File:

PDF, 731 KB

english, 2015

37

Decidability results for sets with atoms

Dovier, Agostino, Formisano, Andrea, Omodeo, Eugenio G.

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 511 KB

english, 2006

38

[IEEE 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1 (CVPR'06) - New York, NY, USA (17-22 June 2006)] 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1 (CVPR'06) - Reconstruction with Interval Constraints Propagation

Farenzena, M., Fusiello, A., Dovier, A.

Year:

2006

Language:

english

File:

PDF, 322 KB

english, 2006

39

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Exploring the Use of BDDs in Conformant Planning

Tognazzi, Stefano, Dovier, Agostino, Pontelli, Enrico, Son, Tran

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

40

Multivalued action languages with constraints in CLP(FD)

DOVIER, AGOSTINO, FORMISANO, ANDREA, PONTELLI, ENRICO

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

41

Set unification

DOVIER, AGOSTINO, PONTELLI, ENRICO, ROSSI, GIANFRANCO

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 459 KB

english, 2006

42

CLP-based protein fragment assembly

DAL PALÙ, ALESSANDRO, DOVIER, AGOSTINO, FOGOLARI, FEDERICO, PONTELLI, ENRICO

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

43

Autonomous agents coordination: Action languages meet CLP() and Linda

DOVIER, AGOSTINO, FORMISANO, ANDREA, PONTELLI, ENRICO

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 322 KB

english, 2013

44

Introduction to the 28th international conference on logic programming special issue

DOVIER, AGOSTINO, SANTOS COSTA, VÍTOR

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 57 KB

english, 2012

45

Planning as tabled logic programming

ZHOU, NENG-FA, BARTÁK, ROMAN, DOVIER, AGOSTINO

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 211 KB

english, 2015

46

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices

Palu, Alessandro Dal, Dovier, Agostino, Pontelli, Enrico

Journal:

International Journal of Data Mining and Bioinformatics

Year:

2010

Language:

english

File:

PDF, 856 KB

english, 2010

47

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models

Bartak, Roman, Dovier, Agostino, Zhou, Neng-Fa

Year:

2016

Language:

english

File:

PDF, 593 KB

english, 2016

48

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain

Barták, Roman, Chrpa, Lukáš, Dovier, Agostino, Vodrážka, Jindřich, Zhou, Neng-Fa

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 829 KB

english, 2017

49

Survey on welfare of dairy cow in tie-stalls in mountain area

Corazzin, Mirco, Dovier, Simonetta, Bianco, Emanuele, Bovolenta, Stefano

Journal:

Italian Journal of Animal Science

Year:

2009

Language:

english

File:

PDF, 347 KB

english, 2009

50

Extending Logic Programming with Labelled Variables: Model and Semantics

Calegari, Roberta, Denti, Enrico, Dovier, Agostino, Omicini, Andrea, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 921 KB

english, 2018